The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Actions	Updated (UTC)
social-security-model	Ready	Preview, Comment	Jul 13, 2026 5:01pm

Adversarial verification — design amendment 2 (§2.7.6, 4ee9a7d)

Verdict: UNRESOLVED / MAJOR (1 MAJOR, 3 MINOR). The rank↔level and re-ranking laws, the leakage fence, the RNG bridge, and the secondary byte-determinism pins are almost all code-true and R2-defensible — the transfer machinery checks out and the exact-inverse claim holds on the grid interior. But item 5 (age support) fails, exactly where the brief flagged the highest risk: the pinned [25,59] clip is incoherent with the committed gated cell registry, whose "older" earnings cells span ages 45–64. The doc's justifying claim that "the gated earnings-moment surface is the 25–59 range" is factually false, so the forward law as pinned distorts two gated cells and cannot faithfully produce the scored surface. That blocks the amendment's "zero design choices" close until reconciled.

Item 5 (highest-risk) — explicit result: MISMATCH CONFIRMED, MAJOR.

The gated earnings cells are stratified prime/older by EARN_COHORTS = (("prime", 25, 44), ("older", 45, 64)) (scripts/build_m6_holdout_floors.py:120), and earnings_frame applies them with no [25,59] pre-filter — cohort_of keeps ages 25–64 (:371-378); family.family_earnings_panel itself has no age cap (only earnings < _MISSING & weight > 0). The v3 builder reuses these earnings cells verbatim via importlib (build_m6_holdout_floors_v3.py:80-84), and the block draft gates earn_zero_rate.older and earn_dlog_sd.older (v3 tolerances 0.163 / 0.269). So the "older" gated cells read realized PSID earnings for ages 45–64, including 60–64. But the forward law is fit on [25,59] (origin/m6-engine:engine/refit.py:802-806) and §2.7.6.5 clips >59 → 55-59, de-indexing ages 60–64 through the 55–59 marginal. §2.7.6.5's premise — "the gated earnings-moment surface (§4.5) is the 25-59 range … <25 and 60+ draws are non-scored plumbing" — is contradicted by the very floors the block draft gates. earn_zero_rate.older is worst: the 60–64 zero/retirement transition (the cell's whole signal) is projected from a 55–59 marginal that understates it. Fix required: re-scope the gated "older" cell to [45,59] in the floors (re-opens the floors ceremony), or extend the forward fit to 64 (no certified earnings object covers 60–64 — gate-1 age_range is [25,59]), or acknowledge the 60–64 clip distortion and demote earn_*.older to report-only. None is done; the doc asserts a 25–59 gated surface that does not exist.

Findings

1 — MAJOR (item 5). Age-support pin incoherent with the gated cell registry. §2.7.6.5's [25,59] clip + "gated surface is 25-59" claim contradict EARN_COHORTS older = 45-64 (build_m6_holdout_floors.py:120, reused by v3), which gates earn_zero_rate.older / earn_dlog_sd.older on ages including 60–64 outside the fit range. The law clips 60–64 to the 55–59 marginal, systematically distorting those two gated cells. See the explicit result above.

2 — MINOR (item 2, exact-inverse round-trip). The "round-trips exactly" claim is true only on the strictly-monotone interior; ties and tail-clamps are unqualified. CellMarginal.quantile(u)=np.interp(u,wtil,yval) clamped [ymin,ymax] and rank(y)=np.interp(y,yval,wtil) clamped [0.001,0.999] (candidate5b:250-259) are algebraic inverses iff yval is strictly increasing and u∈[wtil[0],wtil[-1]]. On tied earnings (flat yval), np.interp(y,yval,wtil) returns the first matching wtil — deterministic but not the original u, so the 2018 re-rank recovers a shifted rank_t; on tail draws it clamps (the certified code itself tracks these as corner_bottom/corner_top, candidate7:654-656). The zero→p0/Q0 path is handled consistently. Impact is small (rare exact ties in NAWI-normalized earnings; few tail persons) and byte-deterministic, but the doc should qualify "exact on the strictly-monotone interior; ties/tail-clamps deterministic-but-inexact."

3 — MINOR (item 3, I_proj derivability + honesty). I_proj = OLS ln(NAWI)~year over [2005,2014] on ss/params.py NAWI (nawi.yaml, :226; base NAWI(1977)=9779.44 fixed, :334). This is leakage-safe in the sense that matters: SSA NAWI is final on publication (never revised — ss/params.py:342 notes only the forward years are Trustees projections), so ≤2014-year values are clean ≤T* quantities and the window cannot be holdout-tuned. Two honesty nits: (a) NAWI_2013/2014 were published in 2015/2016 (2-yr lag), so "≤2014-derivable" should be stated as "uses NAWI values for years ≤2014" (final/unrevised), not "available by end-2014"; (b) "the same trailing-window logic the certified indexing convention uses" is a loose analogy — AIME wage-indexing (index to the age-60 AWI) is not a trailing-decade OLS. The exact decade is one of several ≤2014-admissible windows (pinned, so no engine-lane freedom, but not uniquely forced).

4 — PASS (item 4, leakage fence). The only realized-macro columns are written by the aging step (nawi_by_year→nawi, wage_base_by_year→taxable_max, steps.py:145-156); no engine module reads them into a scored earnings moment (grep of engine/*.py: sole writers, no scored readers). §2.7.6.5's frame schema explicitly excludes nawi from the generator's read set, the gated path is the un-aligned projection (decision 9), and the alignment/taxable_max/AIME/claiming paths that touch realized NAWI are report-only. No unfenced path to a gated cell found (a design commitment the un-implemented generator must honor via the pinned schema).

5 — PASS (item 1 rejections + item 6 pins). The certified de-index is exactly cell.quantile(u_prev) (candidate7:648-654, a CellMarginal quantile — not donor-level), so rejecting (a) donor-level as a mechanism change with no clean inverse is code-grounded, and rejecting (b1) carry-2014-marginal as §2.7.1-prohibited is correct. The RNG bridge is code-true: engine.rng.seed_from_generator exists and is int(generator.integers(0, np.iinfo(np.uint64).max, dtype=np.uint64)) (engine/rng.py:172,180) = the doc's 2**64-1; SUBSTREAM_CODES and the SeedSequence([seed,code]) construction match (candidate10:239, candidate10:242-252). Memory-after-2018 (gen_earn_w2/gen_earn_w4), the frame schema, and carry-forward are fully pinned. Nit (item 1 precision): "This keeps the certified de-index object" overstates — (b2) re-fits a new age_bin-keyed CellMarginal on NAWI-normalized pooled ≤2014 earnings (a new estimated object with a calendar-invariance assumption, first-certified by gate_m6); it keeps the certified mechanism (CellMarginal quantile), which is the R2-relevant property. Reword object→mechanism.

Read-only adversarial verification; no repo edits, no merge/ready. Verified against 4ee9a7d, origin/m6-engine, the committed v3 floors builder, and the certified candidate-5b/7 machinery.

Revision — verifier UNRESOLVED/MAJOR addressed (commit 722f59b)

All four findings from the verifier (comment 4960445225) are addressed in §2.7.6.
Docs-only; no gates.yaml edit, no floor, no test.

MAJOR — the fit range must cover the scored surface (extend to [25,64])

The verifier is right: the gated earnings cohorts are prime = 25–44 and
older = 45–64 (EARN_COHORTS, scripts/build_m6_holdout_floors.py:120; the panel
has no age cap), so earn_*.older scores ages to 64 — my [25,59] clip
would de-index 60–64 through the 55–59 marginal and kill the
earn_zero_rate.older signal. Per the adjudication (option ii), §2.7.6.5 now
extends the fit: the forward participation gate, donor pools, memory ramp, and the
NAWI-normalized marginal all fit [25,64] pooled ≤2014 (the ≤2014 PSID panel
contains 60–64 and exactly the retirement-transition signal the older cells score,
so the extension is ≤2014-derivable). The age_bin grid extends to 8 bins
{25–29, 30–34, 35–39, 40–44, 45–49, 50–54, 55–59, 60–64}; the clip moves to <25 → 25–29, >64 → 60–64; <25/65+ stay non-scored plumbing. The doc states the
principle — the law must cover the surface it is scored on, and narrowing the
surface (re-scope or demote a gated cell) to fit the model's support would be
candidate-informed surface design, prohibited in that direction — and frames
[25,59] as a non-transferable hyperparameter (the transfer conflicts with the
pre-registered truth-side surface). Re-verified: every gated earnings cohort span
(prime 25–44, older 45–64) lies inside [25,64], cited to
build_m6_holdout_floors.py:120.

MINOR 1 — round-trip claim qualified (§2.7.6.4)

Qhat_pos/rhat are np.interp on one (wtil, yval) grid, so the inverse is
exact on the strictly-monotone interior; at the corners it is deterministic
but inexact — quantile clamps to [ymin, ymax], rank to [0.001, 0.999], and
a flat-yval tie maps to the first wtil (candidate5b:250-259; tracked as
corner_bottom/corner_top). Consequence stated for the 2018 re-rank: rank(ℓ) is
a pure deterministic function of the carried level, so chain integrity holds; the
inexactness is only a bounded rank perturbation at the corners, not a break in
reproducibility.

MINOR 2 — NAWI publication lag disclosed (§2.7.6.3)

Added: NAWI_2013/NAWI_2014 are published ~2 years later (post-2014), but the
AWI is a final, unrevised series, so a NAWI_y with y ≤ 2014 is a fixed
function of ≤2014 wages — leakage-safe; only the publication date, not the
information, is post-T*. Dropped the loose "same logic as the certified indexing
convention" analogy for the plain statement.

MINOR 3 — "mechanism" not "object" (§2.7.6.2)

Now reads "keeps the certified de-index MECHANISM — it re-fits a new age_bin
NAWI-normalized object through the same CellMarginal machinery, not the
certified (age_bin, period) object itself."

Verification

JSON ledger revalidated; the only remaining 25–59 mentions are the intentional
"transferred-but-extended" framing in the corrected age-support bullet and the
ledger. CI green (below).

Verification round (round-diff) — amendment-2 revision (722f59b)

Verdict: VERIFIED (ready to merge). All four findings are resolved in substance, not renamed, and the extend-to-[25,64] fix is backed by real ≤2014 data — the 60–64 bin the extension now fits is well-supported, so it introduces no new thin-support problem. The diff is docs-only (+59/−24, m6_projection_engine.md only); the JSON ledger revalidates (parses, revision: 3, re_ranking_law + age_support fields updated); the remaining 25–59 mentions are only the intentional non-transferable-hyperparameter framing.

The 60–64 support check (the load-bearing new question) — STRONG PASS

I quantified the ≤2014 PSID family_earnings_panel directly (POPULACE_DYNAMICS_PSID_DIR=~/PolicyEngine/psid-data):

Forward biennial donor pairs at 60–64 (≤2014): 5,352 — far above the k-NN k=25. So the 60–64 CellMarginal (plotting-position grid on ~3.9k positive obs) and donor pools are amply supported; the extension is genuinely ≤2014-derivable, not a thin bin. And the 60–64 zero share 0.438 vs 55–59's 0.296 confirms the retirement-transition zero-inflation earn_zero_rate.older scores is present and distinct at 60–64 — i.e. the old [25,59] clip really would have understated it by ~14pp (the exact signal-kill I flagged), and the fix captures it.

Per-finding resolution

MAJOR (fit range) — RESOLVED, code- and data-grounded. §2.7.6.5 now extends the forward participation gate, donor pools, memory ramp, and the NAWI-normalized marginal all to [25,64] pooled ≤2014; the age_bin grid goes to 8 bins {25–29 … 60–64} (certified was N_AGE_BINS = 7, candidate5b:155, which clip((age−25)//5, 0, 6) sends 60+ → 55–59 — this is exactly the distortion I flagged, so the certified code corroborates both the problem and the fix); clip moves to <25 → 25–29, >64 → 60–64. Both gated cohorts — prime 25–44, older 45–64 — are verified inside [25,64], cited to build_m6_holdout_floors.py:120. §2.7.6.2 also extends the marginal to the [25,64] grid and no longer claims the 55–59-clipped surface. The direction-of-fit principle is stated correctly: the law must cover the pre-registered truth-side surface, and narrowing it (re-scope/demote a gated cell) to fit the model's support would be candidate-informed surface design, prohibited in that direction; [25,59] is framed as a non-transferable hyperparameter. Resolution, not renaming.

MINOR 1 (round-trip) — RESOLVED. §2.7.6.4 now states interior-exact + corner/tie deterministic-but-inexact (quantile clamps [ymin,ymax], rank clamps [0.001,0.999], flat-yval tie → first wtil, candidate5b:250-259, tracked corner_bottom/top), with the consequence pinned: rank(ℓ) is a pure deterministic function of the carried level so chain integrity holds, the inexactness is only a bounded corner rank-perturbation, not a reproducibility break. The re_ranking_law JSON field is updated to match. Exactly the qualification I asked for.

MINOR 2 (NAWI publication lag) — RESOLVED, reasoning sound. §2.7.6.3 discloses that NAWI_2013/2014 are published ~2 years later, but the SSA AWI is a final, unrevised series (SSA does not restate prior AWI once set — a NAWI_y, y ≤ 2014, is a fixed function of ≤2014 wages), so only the publication date is post-T*, not the information — leakage-safe. The AWI-is-final claim is correct (AWI values are locked for benefit computation and not restated). The loose "same logic as the certified indexing convention" analogy is dropped.

MINOR 3 (mechanism vs object) — RESOLVED. §2.7.6.2 now reads "keeps the certified de-index MECHANISM — it re-fits a new age_bin NAWI-normalized object through the same CellMarginal machinery, not the certified (age_bin, period) object itself."

Read-only round-diff verification; no repo edits, no merge/ready. Verified against 722f59b, the certified candidate-5b machinery, and the live ≤2014 PSID panel.